1 |
Préservation de la cohérence des transformations topologiques et géométriques
|
|
|
|
In: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) ; https://hal.archives-ouvertes.fr/hal-01817884 ; 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France (2016)
|
|
BASE
|
|
Show details
|
|
2 |
Methods and Tools for Weak Problems of Translation ; Méthodes et outils pour les problèmes faibles de traduction
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00502192 ; Computer Science [cs]. Université Joseph-Fourier - Grenoble I, 2010. English (2010)
|
|
BASE
|
|
Show details
|
|
3 |
Transformations de graphes pour les opérations topologiques en modélisation géométrique
|
|
|
|
In: 22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009) ; https://hal.archives-ouvertes.fr/hal-00488533 ; 22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009), Nov 2009, Arles, France (2009)
|
|
BASE
|
|
Show details
|
|
4 |
Design of a programming language dedicated to program analysis and transformation ; Conception d'un langage dédié à l'analyse et la transformation de programmes
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01748507 ; Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10026⟩ (2009)
|
|
BASE
|
|
Show details
|
|
5 |
Conception d'un langage dédié à l'analyse et la transformation de programmes ; Design of a programming language dedicated to program analysis and transformation
|
|
|
|
BASE
|
|
Show details
|
|
|
|